Definición de <span class="extran">homines de redemptione</span> <span class="o">u</span> <span class="extran">homines de redimentia</span>